Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols

Polarization dependence of four-wave mixing in a degenerate two-level system

Nearly degenerate four-wave mixing (NDFWM) within a closed degenerate two-level atomic transition is theoretically and experimentally examined. Using the model presented by A. Lezama et al [Phys. Rev. A 61, 013801 (2000)] the NDFWM spectra corresponding to different pump and probe polarization cases are calculated and discussed. The calculated spectra are compared to the observation of NDFWM within the $6S_{1/2}(F=4)\to 6P_{3/2}(F=5)$ transition of cesium in a phase conjugation experiment using magneto optically cooled atomsComment: 10 pages, 13 figures; submitted to Phys. Rev.

Non-equilibrium dynamics: Studies of reflection of Bose-Einstein condensates

The study of the non-equilibrium dynamics in Bose-Einstein condensed gases has been dominated by the zero-temperature, mean field Gross-Pitaevskii formalism. Motivated by recent experiments on the reflection of condensates from silicon surfaces, we revisit the so-called {\em classical field} description of condensate dynamics, which incorporates the effects of quantum noise and can also be generalized to include thermal effects. The noise is included in a stochastic manner through the initial conditions. We show that the inclusion of such noise is important in the quantitative description of the recent reflection experiments

Double marking revisited

In 2002, the Qualifications and Curriculum Authority (QCA) published the report of an independent panel of experts into maintaining standards at Advanced Level (A-Level). One of its recommendations was for: ‘limited experimental double marking of scripts in subjects such as English to determine whether the strategy would signi-ficantly reduce errors of measurement’ (p. 24). This recommendation provided the impetus for this paper which reviews the all but forgotten literature on double marking and considers its relevance now

Effective elements of cognitive behaviour therapy for psychosis: results of a novel type of subgroup analysis based on principal stratification

Background. Meta-analyses show that cognitive behaviour therapy for psychosis (CBT-P) improves distressing positive symptoms. However, it is a complex intervention involving a range of techniques. No previous study has assessed the delivery of the different elements of treatment and their effect on outcome. Our aim was to assess the differential effect of type of treatment delivered on the effectiveness of CBT-P, using novel statistical methodology. Method. The Psychological Prevention of Relapse in Psychosis (PRP) trial was a multi-centre randomized controlled trial (RCT) that compared CBT-P with treatment as usual (TAU). Therapy was manualized, and detailed evaluations of therapy delivery and client engagement were made. Follow-up assessments were made at 12 and 24 months. In a planned analysis, we applied principal stratification (involving structural equation modelling with finite mixtures) to estimate intention-to-treat (ITT) effects for subgroups of participants, defined by qualitative and quantitative differences in receipt of therapy, while maintaining the constraints of randomization. Results. Consistent delivery of full therapy, including specific cognitive and behavioural techniques, was associated with clinically and statistically significant increases in months in remission, and decreases in psychotic and affective symptoms. Delivery of partial therapy involving engagement and assessment was not effective. Conclusions. Our analyses suggest that CBT-P is of significant benefit on multiple outcomes to patients able to engage in the full range of therapy procedures. The novel statistical methods illustrated in this report have general application to the evaluation of heterogeneity in the effects of treatment

Coherent spin control by electromagnetic vacuum fluctuations

In coherent control, electromagnetic vacuum fluctuations usually cause coherence loss through irreversible spontaneous emission. However, since the dissipation via emission is essentially due to correlation of the fluctuations, when emission ends in a superposition of multiple final states, correlation between different pathways may build up if the "which-way" information is not fully resolved (i.e., the emission spectrum is broader than the transition energy range). Such correlation can be exploited for spin-flip control in a $\Lambda$-type three-level system, which manifests itself as an all-optical spin echo in nonlinear optics with two orders of optical fields saved as compared with stimulated Raman processes. This finding represents a new class of optical nonlinearity induced by electromagnetic vacuum fluctuations.Comment: 7 pages including 5 figure

Systematic effects and a new determination of the primordial abundance of 4He and dY/dZ from observations of blue compact galaxies

We use spectroscopic observations of a sample of 82 HII regions in 76 blue compact galaxies to determine the primordial helium abundance Yp and the slope dY/dZ from the Y-O/H linear regression. To improve the accuracy of the dY/dZ measurement, we have included new spectrophotometric observations of 33 HII regions which span a large metallicity range, with oxygen abundance 12+log(O/H) varying between 7.43 and 8.30 (Zsun/30<Z<Zsun/4). For a subsample of 7 HII regions, we derive the He mass fraction taking into account known systematic effects, including collisional and fluorescent enhancements of HeI emission lines, collisional excitation of hydrogen emission, underlying stellar HeI absorption and the difference between the temperatures Te(HeII) in the He^+ zone and Te(OIII) derived from the collisionally excited [OIII] lines. We find that the net result of all the systematic effects combined is small, changing the He mass fraction by less than 0.6%. By extrapolating the Y vs. O/H linear regression to O/H=0 for 7 HII regions of this subsample, we obtain Yp=0.2421+/-0.0021 and dY/dO=5.7+/-1.8, which corresponds to dY/dZ=3.7+/-1.2, assuming the oxygen mass fraction to be O=0.66Z. In the framework of the standard Big Bang nucleosynthesis theory, this Yp corresponds to Omega_b h^2 = 0.012^+0.003_-0.002, where h is the Hubble constant in units of 100 km/s/Mpc. This is smaller at the 2sigma level than the value obtained from recent deuterium abundance and microwave background radiation measurements. The linear regression slope dY/dO=4.3+/-0.7 (corresponding to dY/dZ=2.8+/-0.5) for the whole sample of 82 HII regions is similar to that derived for the subsample of 7 HII regions, although it has a considerably smaller uncertainty.Comment: 53 pages, 3 Postscript figures, accepted for publication in the Astrophysical Journa

Wavelength modulation spectroscopy of single quantum dots

We demonstrate that external cavity diode lasers with large mode-hop-free tuning ranges (up to 80 GHz) together with wavelength modulation spectroscopy can be used to study excitonic transitions in semiconductor nanostructures. Such transitions are characterized by homogeneous linewidths typically on the order of a few GHz. Wavelength modulation spectroscopy offers a high signal-to-noise method for the determination of resonance line shapes. We have used this technique to accurately measure dipole moments and dephasing rates of single semiconductor quantum dot eigenstates. These measurements are important for the use of quantum dots in semiconductor cavities and quantum logic gates, and for an improved understanding of the physics of exciton confinement. © 2002 American Institute of Physics.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/70029/2/APPLAB-80-11-1876-1.pd

Stimulated and spontaneous optical generation of electron spin coherence in charged GaAs quantum dots

We report on the coherent optical excitation of electron spin polarization in the ground state of charged GaAs quantum dots via an intermediate charged exciton (trion) state. Coherent optical fields are used for the creation and detection of the Raman spin coherence between the spin ground states of the charged quantum dot. The measured spin decoherence time, which is likely limited by the nature of the spin ensemble, approaches 10 ns at zero field. We also show that the Raman spin coherence in the quantum beats is caused not only by the usual stimulated Raman interaction but also by simultaneous spontaneous radiative decay of either excited trion state to a coherent combination of the two spin states.Comment: 4 pages, 3 figures. Minor modification